примитивно
51АЛГОРИТМА СЛОЖНОСТЬ — описания величина, характеризующая длину описания алгоритма. В зависимости от точной концепции алгоритма А. с. описания уточняется по разному. Единого достаточно устоявшегося уточнения к настоящему моменту (1977) не существует. Ниже рассмотрены… …
52ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… …
53ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …
54ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… …
55КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… …
56МНОГОКРАТНАЯ РЕКУРСИЯ — вид рекурсии, в к рой участвуют сразу несколько переменных. Наборы значений этих переменных упорядочиваются лексикографически. Под это определение подходят многочисленные конкретные рекурсивные описания. Если в таком описании искомая функция не… …
57ПОТОК — понятие интуиционистской математики (см. Интуиционизм);совокупность, вид, состоящий из конечных кортежей натуральных чисел, называемых узлами П. (или допустимыми кортежами П.). Точнее, вид П кортежей натуральных чисел наз. потоком, если… …
58Пчёлы — У этого термина существуют и другие значения, см. Пчела (значения). См. также: Медоносная пчела ? Пчёлы …
59Южный парк — У этого термина существуют и другие значения, см. Южный парк (значения). Запрос «South Park» перенаправляется сюда; см. также другие значения. Запрос «Саут Парк» перенаправляется сюда; см. также другие значения. Южный парк South Park …
60Муль — (прозвище) или мул пренебрежительное пейоративное прозвище[1], употребляемое представителями русскоязычного и молдавского населения ПМР, Молдавии, Одесской области в отношении молдаван, плохо говорящих по русски или говорящих с выраженным… …